workspacesView: Make sure to update workspace actors when entering the overview

Otherwise, they will be in the wrong positions.

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 31d61441ccfb919d200bb35e427622524752abc2..eaca4f04d74c17b39ccc9985f4d0323ce6ca2d5a 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -141,6 +141,7 @@ const WorkspacesView = new Lang.Class({
     zoomToOverview: function() {
         for (let w = 0; w < this._workspaces.length; w++)
             this._workspaces[w].zoomToOverview();
+        this._updateWorkspaceActors(false);
     },
 
     zoomFromOverview: function() {